Sequence Datalog: un prototipo per l'interrogazione di sequenze

In questo articolo viene descritto il prototipo del linguaggio Sequence Datalog. Sequence Datalog è un linguaggio di interrogazione per basi di dati contenenti sequenze, ovvero stringhe di caratteri su un alfabeto finito; il modello di dati a cui si riferisce è una semplice estensione del modello relazionale, in cui le ennuple all’interno delle relazioni possono contenere, oltre che valori atomici come interi o caratteri, anche sequenze di caratteri, di lunghezza non fissata a priori. La sintassi e la semantica del linguaggio sono ispirate al Datalog, esteso per consentire la manipolazione delle sequenze. Il prototipo è stato implementato utilizzando il motore inferenziale di Coral ed arricchendolo con opportune primitive per la gestione delle sequenze.